»To vprašanje naju zanima. Veliko umetnin sva ustvarila s poskusi intervencij v ta proces, do česar imava vso pravico.«
»Konkretno me zelo zanima umetna inteligenca na področju dokazovanja izrekov, kjer se ukvarjam z 'dokazovalnimi pomočniki' in vprašanjem, kako bi nam računalniki pomagali pri odkrivanju novega matematičnega znanja.«
Kliknite povezavo za prikaz izjav v želenem obdobju